The Computational Structure of Progress Conditions

Abstract. Understanding the effect of different progress conditions on the com-putability of distributed systems is an important and exciting research direction. For a system with n processes, we define exponentially many new progress con-ditions and explore their properties and strength. We cover all the known, sym-metric and asymmetric, progress conditions and many new interesting conditions. Together with our technical results, the new definitions provide a deeper under-standing of synchronization and concurrency

Herschel-PACS spectroscopy of the intermediate mass protostar NGC 7129 FIRS 2

Aims. We present preliminary results of the first Herschel spectroscopic observations of NGC 7129 FIRS2, an intermediate mass star-forming region. We attempt to interpret the observations in the framework of an in-falling spherical envelope. Methods. The PACS instrument was used in line spectroscopy mode (R = 1000–5000) with 15 spectral bands between 63 and 185 μm. This provided good detections of 26 spectral lines seen in emission, including lines of H2O, CO, OH, O I, and C II. Results. Most of the detected lines, particularly those of H2O and CO, are substantially stronger than predicted by the spherical envelope models, typically by several orders of magnitude. In this paper we focus on what can be learned from the detected CO emission lines. Conclusions. It is unlikely that the much stronger than expected line emission arises in the (spherical) envelope of the YSO. The region hot enough to produce such high excitation lines within such an envelope is too small to produce the amount of emission observed. Virtually all of this high excitation emission must arise in structures such as as along the walls of the outflow cavity with the emission produced by a combination of UV photon heating and/or non-dissociative shocks

Origin of the hot gas in low-mass protostars, Herschel-PACS spectroscopy of HH 46

Aims. “Water In Star-forming regions with Herschel” (WISH) is a Herschel key programme aimed at understanding the physical and chemical structure of young stellar objects (YSOs) with a focus on water and related species. Methods. The low-mass protostar HH 46 was observed with the Photodetector Array Camera and Spectrometer (PACS) on the Herschel Space Observatory to measure emission in H2O, CO, OH, [O i], and [C ii] lines located between 63 and 186 μm. The excitation and spatial distribution of emission can disentangle the different heating mechanisms of YSOs, with better spatial resolution and sensitivity than previously possible. Results. Far-IR line emission is detected at the position of the protostar and along the outflow axis. The OH emission is concentrated at the central position, CO emission is bright at the central position and along the outflow, and H2O emission is concentrated in the outflow. In addition, [O i] emission is seen in low-velocity gas, assumed to be related to the envelope, and is also seen shifted up to 170 km s−1 in both the red- and blue-shifted jets. Envelope models are constructed based on previous observational constraints. They indicate that passive heating of a spherical envelope by the protostellar luminosity cannot explain the high-excitation molecular gas detected with PACS, including CO lines with upper levels at >2500 K above the ground state. Instead, warm CO and H2O emission is probably produced in the walls of an outflow-carved cavity in the envelope, which are heated by UV photons and non-dissociative C-type shocks. The bright OH and [Oi] emission is attributed to J-type shocks in dense gas close to the protostar. In the scenario described here, the combined cooling by far-IR lines within the central spatial pixel is estimated to be 2 × 10−2 L, with 60–80% attributed to J- and C-type shocks produced by interactions between the jet and the envelope